خواص توپولوژیک فیلترهای اول در mtl-جبرها
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر
- نویسنده عفت خزائیان
- استاد راهنما آرشام برومند سعید
- سال انتشار 1392
چکیده
هدف ما در این پایان نامه، مطالعه -mtlجبرها به عنوان یک رده بسیار مهم از مشبکه های مانده و تعمیمی از bl-جبرها می باشد.علاوه بر مطالعه خواص -blجبرها، برخی خواص پایه ای از فیلترهای اول در -mtlجبرها نیز مورد مطالعه قرار گرفته است. با استفاده از ویژگی های -mtlجبرها روی برخی فیلترهای خاص توپولوژی القا کرده ایم. با مطالعه برخی ساختارهای توپولوژیکی مجموعه همه فیلترهای اول و مجموعه همه فیلترهای ماکسیمال، نشان می دهیم، مجموعه همه فیلترهای اول یک فضای توپولوژیک کولوموگروف فشرده و مجموعه همه فیتلرهای ماکسیمال یک فضای توپولوژیکی هاسدورف فشرده می باشد. همچنین با مطالعه روابط بین ارزش دهی و فیلتر ها در mtl-جبرها، نشان می دهیم یک mtl-جبر با یک زیر جبر از -mtlمکعب روی مجموعه ای از همه فیلترهای اول هم ریخت می باشد. همچنین، ثابت می کنیم قضیه نمایش استون از جبرهای بولی، یک حالت خاص از قضیه نمایش مجموعه های فازی از -mtlجبرها می باشد
منابع مشابه
فیلترهای فازی در bl-جبرها
در این رساله به مطالعه ساختار فیلترهای فازی در bl-جبرها می پردازیم.به همین منظور مفهوم bl-جبرها ?ایده آل ها ?فیلتر استلزامی و مفهوم مجموعه های فازی دوقطبی در ساختار فیلترها از bl-جبرها به کار گرفته می شود و با استفاده از آن یک مفهوم تعمیم یافته از فیلترهای ضدفازی در bl -جبرها معرفی میگردد و خواص آن ها مورد بررسی قرار می گیرد
15 صفحه اولMtl
We propose magnetic threshold-logic (MTL) design based on non-volatile spin-torque switches. A threshold logic gate (TLG) performs summation of multiple inputs multiplied by a fixed set of weights and compares the sum with a threshold. MTL employs resistive states of magnetic tunnel junctions as programmable input weights, while, a low-voltage domain-wall shift based spin-torque switch is used ...
متن کاملفیلترهای فازی در شبه bl-جبرها
در این پایان نامه، هدف ما مطالعه انواع فیلترهای فازی، در شبه –bl جبرهاست. بدین منظور ابتدا به معرفی مشبکه، مشبکه مانده، -bl جبرها و فیلترهای آن ها پرداخته ایم. در ادامه چند نوع از فیلترهای فازی، همچون فیلتر بولی فازی، فیلتر نرمال فازی، فیلتر اول فازی، فیلتر بیشین فازی، فیلتر سرسخت فازی معرفی و روابط بین فیلترهای فازی را بررسی می کنیم. در پایان قضیه فیلتر اول فازی را مطالعه خواهیم کرد و ثابت می ...
15 صفحه اول"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamodel, which implies the possible “reflective” use of model transformations, i.e., model transformations acting on model transformations. However, this requires transformation developers to be familiar with the metamode...
متن کاملMTL Satisfiability over the Integers
We investigate the satisfiability problem for metric temporal logic (MTL) with both past and future operators over linear discrete bi-infinite time models — where time is unbounded both in the future and in the past — isomorphic to the integer numbers. We provide a technique to reduce satisfiability over the integers to satisfiability over the well-known mono-infinite time model of natural numb...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023